- metamatematics
- метаматематика
English-Russian big polytechnic dictionary. 2014.
English-Russian big polytechnic dictionary. 2014.
логическое следование — ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ отношение между высказываниями; более точно отношение между посылками и заключением, которое характеризуется тем, что заключение с необходимостью следует из посылок. Понятие Л. с. является центральным в… … Энциклопедия эпистемологии и философии науки